$\forall$$g$:OGrp, $x$:$\mid$$g$$\mid$. ($x$ $\ast$ ($\sim$($x$))) = e $\in$ $\mid$$g$$\mid$ \& (($\sim$($x$)) $\ast$ $x$) = e $\in$ $\mid$$g$$\mid$